package edu.lambdateacher;

/*
LambdaTeacher
Copyright (C) 2000  Kim Mason
Copyright (C) 2014  Vitalij Zadneprovskij

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
*/

import java.util.List;

public class ReductionResponseBean {
	private String explanation;
	private String lambdaString;
	private List<String> intermediateExpressions;
	
	public String getExplanation() {
		return explanation;
	}
	public void setExplanation(String explanation) {
		this.explanation = explanation;
	}
	public String getLambdaString() {
		return lambdaString;
	}
	public void setLambdaString(String lambdaString) {
		this.lambdaString = lambdaString;
	}
	public List<String> getIntermediateExpressions() {
		return intermediateExpressions;
	}
	public void setIntermediateExpressions(List<String> intermediateExpressions) {
		this.intermediateExpressions = intermediateExpressions;
	}
	@Override
	public String toString() {
		return "ReductionResponseBean [explanation=" + explanation + ", lambdaString=" + lambdaString + ", intermediateExpressions=" + intermediateExpressions + "]";
	}
	
	
}
